Manuel V. Hermenegildo: потърсете в сайта Z-Library

Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства

Свободен достъп до знания и култура.

Набиране на средства 15 септември 2024 – 1 октомври 2024

Z-Library е една от най-големите онлайн библиотеки в света, която съдържа над 17,000,000 книги и 84,837,000 статии. Ние се стремим да направим литературата достъпна за всеки. Днес (15 септември 2024) започнахме допълнително набиране на средства за поддръжка и развитие на проекта.

Също НЕОГРАНИЧЕНО изтегляния (за 31 дни след деня на дарението) са достъпни за ALL сътрудници, които ще дарят по време на периода за набиране на средства до 1 октомври 2024.

Относно набирането на средстваПрочетете още

Направи дарение

Книги (21)
Най-популярни
Списък
- Списък
- Таблица

1

Histórias de Terror da Idade Média (Clássicos do Horror Livro 7)

Histórias de Terror da Idade Média (Clássicos do Horror Livro 7)

Giovanni Boccaccio & Juan Manuel de Castela & Hermenegildo de Tancos & Anônimos Árabes [Boccaccio, Giovanni]

Година:

2016

Език:

portuguese

Файл:

EPUB, 379 KB

0 / 5.0

portuguese, 2016

2

Prolog: The Next 50 Years

Prolog: The Next 50 Years

David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, (eds.)

Година:

2023

Език:

english

Файл:

PDF, 25.08 MB

0 / 5.0

english, 2023

3

Prolog: The Next 50 Years

Prolog: The Next 50 Years

Springer Nature

David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, (eds.)

Година:

2023

Език:

english

Файл:

EPUB, 41.26 MB

0 / 0

english, 2023

4

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Springer International Publishing

Manuel V. Hermenegildo, Pedro Lopez-Garcia (editors)

Година:

2017

Език:

english

Файл:

PDF, 11.58 MB

0 / 0

english, 2017

5

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Springer-Verlag Berlin Heidelberg

Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)

Година:

2000

Език:

english

Файл:

PDF, 2.46 MB

0 / 0

english, 2000

6

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Springer-Verlag Berlin Heidelberg

Manuel Hermenegildo, Germán Puebla, Francisco Bueno (auth.), Barry O’Sullivan (eds.)

Година:

2003

Език:

english

Файл:

PDF, 2.34 MB

0 / 0

english, 2003

7

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)

Година:

2002

Език:

english

Файл:

PDF, 5.29 MB

0 / 0

english, 2002

8

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Springer-Verlag Berlin Heidelberg

Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)

Година:

2000

Език:

english

Файл:

PDF, 4.28 MB

0 / 0

english, 2000

9

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Springer-Verlag Berlin Heidelberg

Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)

Година:

2000

Език:

english

Файл:

PDF, 3.24 MB

0 / 0

english, 2000

10

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)

Година:

2002

Език:

english

Файл:

PDF, 6.30 MB

0 / 0

english, 2002

11

Logic programming: proceedings of the 1990 North American conference

Logic programming: proceedings of the 1990 North American conference

Saumya Debray, Manuel Hermenegildo (ed.)

Година:

1990

Език:

english

Файл:

DJVU, 9.34 MB

0 / 0

english, 1990

12

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)

Gilles Barthe, Manuel Hermenegildo

Година:

2010

Език:

english

Файл:

PDF, 4.07 MB

0 / 0

english, 2010

13

Practical aspects of declarative languages: 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005: proceedings

Practical aspects of declarative languages: 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005: proceedings

Manuel Hermenegildo, Daniel Cabeza

Година:

2005

Език:

english

Файл:

PDF, 8.33 MB

0 / 0

english, 2005

14

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Catuscia Palamidessi (auth.), Manuel Hermenegildo, Jaan Penjam (eds.)

Година:

1994

Език:

english

Файл:

DJVU, 4.36 MB

0 / 0

english, 1994

15

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Oege de Moor (auth.), Manuel Hermenegildo, S. Doaitse Swierstra (eds.)

Година:

1995

Език:

english

Файл:

DJVU, 4.13 MB

0 / 0

english, 1995

16

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Springer-Verlag Berlin Heidelberg

Manuel Hermenegildo, Germán Puebla, Francisco Bueno (auth.), Barry O’Sullivan (eds.)

Година:

2003

Език:

english

Файл:

PDF, 1.74 MB

0 / 0

english, 2003

17

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Torsten Schaub (auth.), Jacques Garrigue, Manuel V. Hermenegildo (eds.)

Година:

2008

Език:

english

Файл:

PDF, 5.07 MB

0 / 0

english, 2008

18

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Torsten Schaub (auth.), Jacques Garrigue, Manuel V. Hermenegildo (eds.)

Година:

2008

Език:

english

Файл:

PDF, 4.86 MB

0 / 0

english, 2008

19

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Javier Esparza (auth.), Gilles Barthe, Manuel Hermenegildo (eds.)

Година:

2010

Език:

english

Файл:

PDF, 5.09 MB

0 / 0

english, 2010

20

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Norman Ramsey (auth.), Manuel V. Hermenegildo, Daniel Cabeza (eds.)

Година:

2005

Език:

english

Файл:

DJVU, 2.43 MB

0 / 0

english, 2005

21

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005

Manuel Hermenegildo, Daniel Cabeza

Година:

2005

Език:

english

Файл:

PDF, 8.64 MB

0 / 0

english, 2005